- иерархия предикатов
- Mathematics: predicate hierarchy
Универсальный русско-английский словарь. Академик.ру. 2011.
иерархия предикатов
Смотреть что такое "иерархия предикатов" в других словарях:
Класс сложности — В теории алгоритмов классами сложности называются множества вычислительных задач, примерно одинаковых по сложности вычисления. Говоря более узко, классы сложности это множества предикатов (функций, получающих на вход слово и возвращающих ответ 0… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
семантические категории — СЕМАНТИЧЕСКИЕ КАТЕГОРИИ типы значений выражений языка. Учение о С. к. восходит к Э. Гуссерлю (Bedeutungskategorien, категории значения). Наиболее интенсивную разработку это учение получило в польск. школе логики. К учению о С. к. очень… … Энциклопедия эпистемологии и философии науки
_2. Теоретическая база словаря и исходные теоретические положения — При работе над словарем мы опирались на следующие теоретические положения лексикологии и семантического синтаксиса. Первое. Идея единства лексики и грамматики. Это взаимодействие осуществляется главным образом на уровне семантических моделей… … Экспериментальный синтаксический словарь
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ФРЕГЕ — (Frege) Готлоб (1848 1925) нем. логик, математик и философ. Один из основоположников современной символической логики. Сформулированные Ф. новые идеи и подходы во многом предопределили развитие логики в 20 в. В работе «Исчисление понятий» (1879)… … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… … Современный философский словарь
ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… … Словарь-справочник терминов нормативно-технической документации
Брюшинкин, Владимир Никифорович — (род. 26.12.1953) спец. по логике, филос. логики, истории филос., методол. построения интеллектуальных систем, переводчик англо и немецкоязычной логической и филос. литературы; д р филос. наук, проф. Род. в Красноярске. Окончил филос. ф т МГУ… … Большая биографическая энциклопедия
